Conditional Trigonometic identities